Synchronous Paradigm in Embedded Systems
نویسندگان
چکیده
منابع مشابه
Synchronous Paradigm in Embedded Systems
stress cycles402295110544/29 Abstract stress nodes1753784119024/29stress nodes1753784119024/29 (b) discovering short and efficient (minimizingnumber of FR) initial phases is also an importantissue here; (c) the distribution of integer latencies over thearcs could attempt to minimize (on average) thenumber of computation...
متن کاملVerification of Embedded Systems Using Synchronous Observers
This paper is a study of observer-based proof techniques applied to the veriication of a model of a real world embedded system, an aircraft landing gear. We present a formal description of these techniques (taken from 5]) and look at three ways of applying them, comparing ver-iication of the composed system with two approaches to decompositional veriication. The example illustrates that due to ...
متن کاملVeri cation of Embedded Systems Using Synchronous Observers
This paper is a study of observer-based proof techniques applied to the veri cation of a model of a real world embedded system, an aircraft landing gear. We present a formal description of these techniques (taken from [5]) and look at three ways of applying them, comparing veri cation of the composed system with two approaches to decompositional veri cation. The example illustrates that due to ...
متن کاملThe Multi-Paradigm Synchronous Programming Language LEA
We present uniform translation rules for three synchronous programming languages Lustre, Esterel and Argos, to a common intermediate format called Boolean automata. Such a uniform translation allows to smoothly combine the languages into one multi-paradigm language for programming synchronous reactive systems.
متن کاملPower Reduction in Embedded Systems Using a Design Methodology Based on Synchronous Finite State Machines
To achieve the highest levels of power reduction, embedded systems must be conceived as low-power devices, since the early stages of the design process. The proposed Model-Based-Development process uses Synchronous Finite State Machines (SFSM) to model the behavior of low-power devices. This methodology is aimed at devices at the lower-end of the complexity spectrum, as long as the device behav...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: EURASIP Journal on Embedded Systems
سال: 2007
ISSN: 1687-3955
DOI: 10.1155/2007/32903